Des Logiciels D'Analyse Textuelle Au Service De L'Imagination Sociologique

Vers l'Exécutabilité des Modèles de Procédés Logiciels

Résumé. L'un des enjeux majeurs de l'ingénierie dirigée par les modèles est d'augmenter la productivité des logiciels à travers la manipulation de modèles dès les premières phases de développement. La finalité étant de pouvoir utiliser les modèles non seulement pour des fins de compréhension et de description mais aussi de production. Les modèles de procédés de développement logiciels sont au c...

Le projet ANR INCOME, processus et outils logiciels pour des gestionnaires de contexte au dessus de l'Internet des objets

L’Internet des objets est une extension de l’Internet qui ouvre de nombreuses opportunités de construction de nouveaux services à haute valeur ajoutée dans de nombreux domaines. Cependant, les concepteurs de ces services doivent prendre en main des systèmes logiciels de plus en plus complexes. Le projet INCOME étudie la brique logicielle de gestion de contexte qui traite et achemine les informa...

Un peu de théorie des nombres et de calcul formel au service de l'arithmétique des ordinateurs

Analyse de la Testabilité des Logiciels Flots de Données Synchrones

Un environnement de spécification et de découverte pour la réutilisation des composants logiciels dans le développement des logiciels distribués

Components are developed as important and big autonomous and customizable software units. The successfulness of the reuse is important and depend on first the efficiency of the search procedure, second in the success of integration of the discovered component in system engineering. In order to find components that best meet their functionalities and QoS requirements, the discovery process need ...